Richard W. Woodcock's Documents

Richard W. Woodcock's Documents

Acid Rock

Acid Rock
Read more
Theoretical Aspects of Computing - ICTAC 2007, 4 conf

Theoretical Aspects of Computing - ICTAC 2007, 4 conf
Read more
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays
Read more
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures
Read more
Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)
Read more
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December
Read more
IL-5 Receptor

IL-5 Receptor
Read more
Formal Methods and Hybrid Real-Time Systems

Formal Methods and Hybrid Real-Time Systems
Read more
Formal Methods: foundations and Applications, 12 conf., SBMF2009

Formal Methods: foundations and Applications, 12 conf., SBMF2009
Read more
????

????
Read more
The Linear Complementarity Problem (Classics in Applied Mathematics)

The Linear Complementarity Problem (Classics in Applied Mathematics)
Read more
Molecular Medical Parasitology

Molecular Medical Parasitology
Read more
The Laguna Madre of Texas and Tamaulipas (Gulf Coast Studies Series, 2)

The Laguna Madre of Texas and Tamaulipas (Gulf Coast Studies Series, 2)
Read more
Theory of Scheduling

Theory of Scheduling
Read more
Modern Philosophy: The Seventeenth And Eighteenth Centuries

Modern Philosophy: The Seventeenth And Eighteenth Centuries
Read more
MIF

MIF
Read more
Robert Louis Stevenson: Writer of Boundaries

Robert Louis Stevenson: Writer of Boundaries
Read more
Creating Web Pages All-in-One Desk Reference For Dummies

Creating Web Pages All-in-One Desk Reference For Dummies
Read more
Creating Web Pages All-in-One Desk Reference For Dummies

Creating Web Pages All-in-One Desk Reference For Dummies
Read more
Forest Ecosystems, 3rd edition

Forest Ecosystems, 3rd edition
Read more
Spoken Natural Language Dialog Systems: A Practical Approach

Spoken Natural Language Dialog Systems: A Practical Approach
Read more
TCP IP Illustrated, Volume 2: The implementation

TCP IP Illustrated, Volume 2: The implementation
Read more
Food Emulsifiers and Their Applications

Food Emulsifiers and Their Applications
Read more
The Nonprofit Sector: A Research Handbook, Second Edition

The Nonprofit Sector: A Research Handbook, Second Edition
Read more
Economic Value of Weather and Climate Forecasts

Economic Value of Weather and Climate Forecasts
Read more
The United Nations and Global Security

The United Nations and Global Security
Read more
Data Analysis Methods in Physical Oceanography

Data Analysis Methods in Physical Oceanography
Read more
Molecular Materials (Inorganic Materials Series)

Molecular Materials (Inorganic Materials Series)
Read more
Mechanical engineering systems

Mechanical engineering systems
Read more
Advances in electrochemical science and engineering

Advances in electrochemical science and engineering
Read more